Correctness of vehicle control systems-a case study
نویسندگان
چکیده
Several example vehicle deceleration maneuvers arising in automated transportation systems are specified, and their correctness verified, using the hybrid I/O automaton model of Lynch, Segala, Vaandrager and Weinberg [16]. All system components are formalized using hybrid I/O automata, and their combination described using automaton composition. The proofs use invariant assertions, simulation mappings, and differential calculus.
منابع مشابه
Modeling and Optimal Control of 4 Wheel Steering Vehicle Using LQR and its Comparison with 2 Wheel Steering Vehicle
In this paper, kinetic and kinematic modeling of a 4 wheel steering vehicle is done and its movement is controlled in an optimal way using Linear Quadratic Regulator (LQR). The results are compared with the same control of two-wheel steering case and the advantages are analyzed. In 4 wheel steering vehicles which are nowadays more applicable the number of controlling actuators are more than the...
متن کاملStability of Three-Wheeled Vehicles with and without Control System
In this study, stability control of a three-wheeled vehicle with two wheels on the front axle, a three-wheeled vehicle with two wheels on the rear axle, and a standard four-wheeled vehicle are compared. For vehicle dynamics control systems, the direct yaw moment control is considered as a suitable way of controlling the lateral motion of a vehicle during a severe driving maneuver. In accorda...
متن کاملVehicle Stabilization via a Self-Tuning Optimal Controller
Nowadays, using advanced vehicle control and safety systems in vehicles is growing rapidly. In this regard, in recent years new control systems, called VDC, have been introduced. These systems stabilize vehicle yaw motion, by yaw moment resulted from tire controlling forces. In this paper, an adaptive optimal controller applied to a vehicle to obtain a satisfactory lateral and yaw stability. To...
متن کاملFormal Veriication of Safety-critical Hybrid Systems Formal Veriication of Safety-critical Hybrid Systems
This thesis investigates how the formal modeling and veri cation techniques of computer science can be used for the analysis of hybrid systems [7,14,22,37]| systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation prot...
متن کاملFormal Verification of Safety - Critical Hybrid Systems by Carolos Livadas
This thesis investigates how the formal modeling and verification techniques of computer science can be used for the analysis of hybrid systems [7,14,22,37] systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation prot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996